Skip to main content
Scour
Browse
Getting Started
Login
Sign Up
You are offline. Trying to reconnect...
Close
You're currently offline. Some features may not work.
Close
Copied to clipboard
Close
Unable to share or copy to clipboard
Close
📋 Protocol Design
Network Protocols, Message Formats, Error Handling, State Machines
Filter Results
Timeframe
Fresh
Past Hour
Today
This Week
This Month
Feeds to Scour
Subscribed
All
Scoured
76416
posts in
449.1
ms
Go Network
Programming
for Edge Computing: Build Fast,
Scalable
Edge Apps
dev.to
·
1d
·
Discuss:
DEV
🌍
Edge Computing
**Abstract:** This research introduces a novel framework for formally verifying distributed consensus protocols, specifically
Raft
, using Lean 4 and
dependen
...
freederia.com
·
1d
📐
TLA+
Flow-Based Programming:
Seminal
Texts and
Theoretical
Foundations
repolex.ai
·
1d
·
Discuss:
Hacker News
🔄
Concurrency Models
The Trust Protocol: How
ACHP
Prevents
Autonomous AI Systems from Breaking Down
auranom.ai
·
10h
·
Discuss:
DEV
📞
Tauri IPC
LAN
Overview 2026 [
splitbrain.org
]
splitbrain.org
·
6h
🌐
Networking
Autocrypt
v2 - Post-Quantum and Reliable
Deletion
for Internet Messaging
autocrypt2.org
·
1d
🔐
ChaCha20
What do you guys think of my
microservice
template
?
github.com
·
2h
·
Discuss:
r/node
🎯
Microservices
I
struggled
with system design until I learned these 114
concepts
newsletter.systemdesign.one
·
10h
🏗️
System Design
A Framework for System Design
Interviews
dev.to
·
14h
·
Discuss:
DEV
🏗️
Systems Design
TSL
Hummingbird
NDI
routing control, tally mapping, presets, Linux VM broadcast panels
armdevices.net
·
19h
⏳
etcd Lease
UDP
vs. TCP in Multiplayer Gaming: State
Synchronization
and Lag Compensation
systemdr.substack.com
·
2d
·
Discuss:
r/programming
📡
QUIC Loss Detection
DCP-o-matic • Re: CPL as
compositions
and multiple
CPLs
dcpomatic.com
·
22h
🧮
Algebraic Effects
Modes
of
Transportation
yamlscript.org
·
18h
📦
Binary Formats
lowobservable/oec
: IBM 3270 terminal controller - IBM 3174 replacement
github.com
·
5h
·
Discuss:
Hacker News
📞
Tauri IPC
Build your own "private
Discord
": 5 self-hosted
alternatives
that put you in control
howtogeek.com
·
5h
🔗
ActivityPub
The New
Stem
blog.gorewood.games
·
8h
⚓
Anchors
Structured
Content Design
Workflow
2022
andyfitzgeraldconsulting.com
·
18h
🏗️
Information Architecture
A Quick Look at
QUIC
potaroo.net
·
4d
·
Discuss:
Hacker News
⚡
QUIC Protocol
llOOPy
lOOPs (Dave
Jarvis
)
dave.autonoma.ca
·
1d
🧠
Memory Models
Codified
Finite-state
Machines for Role-playing
arxiv.org
·
1d
🎲
Deterministic Simulation
Loading...
Loading more...
Page 2 »
Keyboard Shortcuts
Navigation
Next / previous item
j
/
k
Open post
o
or
Enter
Preview post
v
Post Actions
Love post
a
Like post
l
Dislike post
d
Undo reaction
u
Recommendations
Add interest / feed
Enter
Not interested
x
Go to
Home
g
h
Interests
g
i
Feeds
g
f
Likes
g
l
History
g
y
Changelog
g
c
Settings
g
s
Browse
g
b
Search
/
Pagination
Next page
n
Previous page
p
General
Show this help
?
Submit feedback
!
Close modal / unfocus
Esc
Press
?
anytime to show this help